Gava, Frédéric: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Media as a Dual Mediator of the Political Agenda–Setting Effect of Protest. A Longitudinal Study in Six Western European Countries

Vliegenthart, Rens, Walgrave, Stefaan, Wouters, Ruud, Hutter, Swen, Jennings, Will, Gava, Roy, Tresch, Anke, Varone, Frédéric, Grossman, Emiliano, Breunig, Christian, Brouard, Sylvain, Chaques-Bonafon

Journal:

Year:

2016

Language:

english

File:

PDF, 643 KB

english, 2016

2

Twenty Years After the EEA Vote: The Europeanization of Swiss Policy-Making

Gava, Roy, Sciarini, Pascal, Varone, Frédéric

Journal:

Swiss Political Science Review (Swiss Political Science Association)

Year:

2014

Language:

english

File:

PDF, 100 KB

english, 2014

3

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - An ML Implementation of the MULTI-BSP Model

Allombert, Victor, Gava, Frederic

Year:

2018

Language:

english

File:

PDF, 32 KB

english, 2018

4

Axiomatization and characterization of BSP algorithms

Marquer, Yoann, Gava, Frédéric

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 972 KB

english, 2019

5

Bulk synchronous parallel ML with exceptions

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Journal:

Future Generation Computer Systems

Year:

2010

Language:

english

File:

PDF, 1.89 MB

english, 2010

6

From BSP routines to high-performance ones: Formal verification of a transformation case

Jean Fortin, Frédéric Gava

Journal:

Procedia Computer Science

Year:

2010

Language:

english

File:

PDF, 339 KB

english, 2010

7

[IEEE 2012 International Conference on High Performance Computing & Simulation (HPCS) - Madrid, Spain (2012.07.2-2012.07.6)] 2012 International Conference on High Performance Computing & Simulation (HPCS) - Towards verified cloud computing environments

Loulergue, Frederic, Gava, Frederic, Kosmatov, Nikolai, Lemerre, Matthieu

Year:

2012

Language:

english

File:

PDF, 371 KB

english, 2012

8

A BSP algorithm for on-the-fly checking CTL* formulas on security protocols

Gava, Frédéric, Pommereau, Franck, Guedj, Michaël

Journal:

The Journal of Supercomputing

Year:

2014

Language:

english

File:

PDF, 2.31 MB

english, 2014

9

[IEEE Distributed Methods in Verification and 2nd Intl Wkshp on High Performance Computational Systems Biology (PDMC-HiBi) - Enschede, TBD, Netherlands (2010.09.30-2010.10.1)] 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology - A BSP Algorithm for the State Space Construction of Security Protocols

Gava, Frederic, Guedj, Michael, Pommereau, Franck

Year:

2010

Language:

english

File:

PDF, 773 KB

english, 2010

10

[IEEE Simulation (HPCS) - Caen, France (2010.06.28-2010.07.2)] 2010 International Conference on High Performance Computing & Simulation - Modular implementation of dense matrix operations in a high-level BSP language

Tan, Sovanna, Gava, Frederic

Year:

2010

Language:

english

File:

PDF, 538 KB

english, 2010

11

[IEEE 2012 11th International Symposium on Parallel and Distributed Computing (ISPDC) - Munich, Germany (2012.06.25-2012.06.29)] 2012 11th International Symposium on Parallel and Distributed Computing - Implementation of Data-Parallel Skeletons: A Case Study Using a Coarse-Grained Hierarchical Model

Li, Chong, Gava, Frederic, Hains, Gaetan

Year:

2012

Language:

english

File:

PDF, 269 KB

english, 2012

12

[IEEE 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing - Weimar, Germany (2009.02.18-2009.02.20)] 2009 17th Euromicro International Conference on Parallel, Distributed and Network-based Processing - Two Formal Semantics of a Subset of the Paderborn University BSPlib

Gava, Frédéric, Fortin, Jean

Year:

2009

Language:

english

File:

PDF, 366 KB

english, 2009

13

[IEEE 2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies - Dunedin, New Zealand (2008.12.1-2008.12.4)] 2008 Ninth International Conference on Parallel and Distributed Computing, Applications and Technologies - Formal Semantics of a Subset of the Paderborn's BSPlib

Gava, Frédéric, Fortin, Jean

Year:

2008

Language:

english

File:

PDF, 224 KB

english, 2008

14

[IEEE 2012 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) - Munich, Germany (2012.02.15-2012.02.17)] 2012 20th Euromicro International Conference on Parallel, Distributed and Network-based Processing - Performance Evaluations of a BSP Algorithm for State Space Construction of Security Protocols

Gava, Frederic, Guedj, Michael, Pommereau, Franck

Year:

2012

Language:

english

File:

PDF, 203 KB

english, 2012

15

[IEEE 2012 13th International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT) - Beijing, China (2012.12.14-2012.12.16)] 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies - Mechanised Verification of Distributed State-Space Algorithms for Security Protocols

Gava, Frederic, Hidalgo, Arthur, Fortin, Jean

Year:

2012

Language:

english

File:

PDF, 210 KB

english, 2012

16

[IEEE 2012 13th International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT) - Beijing, China (2012.12.14-2012.12.16)] 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies - A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols

Gava, Frederic, Guedj, Michael, Pommereau, Franck

Year:

2012

Language:

english

File:

PDF, 227 KB

english, 2012

17

CPS implementation of a BSP composition primitive with application to the implementation of algorithmic skeletons

Garnier, Ilias, Gava, Frédéric

Journal:

International Journal of Parallel Emergent and Distributed Systems

Year:

2011

Language:

english

File:

PDF, 1.11 MB

english, 2011

18

The EU's Footprint in Swiss Policy Change: A Quantitative Assessment of Primary and Secondary Legislation (1999-2012)

Gava, Roy, Varone, Frédéric

Journal:

Swiss Political Science Review (Swiss Political Science Association)

Year:

2014

Language:

english

File:

PDF, 129 KB

english, 2014

19

[IEEE 2012 11th International Symposium on Parallel and Distributed Computing (ISPDC) - Munich, Germany (2012.06.25-2012.06.29)] 2012 11th International Symposium on Parallel and Distributed Computing - A BSP Algorithm for On-the-fly Checking LTL Formulas on Security Protocols

Gava, Frederic, Guedj, Michael, Pommereau, Franck

Year:

2012

Language:

english

File:

PDF, 215 KB

english, 2012

20

[IEEE 2010 First International Conference on Networking and Computing - Higashi, Hiroshima, Japan (2010.11.17-2010.11.19)] 2010 First International Conference on Networking and Computing - Functional Parallel Programming with Revised Bulk Synchronous Parallel ML

Bousdira, Wadoud, Gava, Frederic, Gesbert, Louis, Loulergue, Frederic, Petiot, Guillaume

Year:

2010

Language:

english

File:

PDF, 351 KB

english, 2010

21

FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS

GAVA, FRÉDÉRIC

Journal:

Parallel Processing Letters

Year:

2003

Language:

english

File:

PDF, 858 KB

english, 2003

22

A MODULAR IMPLEMENTATION OF DATA STRUCTURES IN BULK-SYNCHRONOUS PARALLEL ML

GAVA, FRÉDÉRIC

Journal:

Parallel Processing Letters

Year:

2008

Language:

english

File:

PDF, 852 KB

english, 2008

23

A FUNCTIONAL LANGUAGE FOR DEPARTMENTAL METACOMPUTING

GAVA, FRÉDÉRIC, LOULERGUE, FRÉDÉRIC

Journal:

Parallel Processing Letters

Year:

2005

Language:

english

File:

PDF, 1.66 MB

english, 2005

24

BSP-Why: A Tool for Deductive Verification of BSP Algorithms with Subgroup Synchronisation

Fortin, Jean, Gava, Frédéric

Journal:

International Journal of Parallel Programming

Year:

2016

Language:

english

File:

PDF, 1.12 MB

english, 2016

25

GUEST EDITORS NOTE: HIGH-LEVEL PROGRAMMING FOR HETEROGENEOUS AND HIERARCHICAL PARALLEL SYSTEMS

HAINS, GAÉTAN, GAVA, FRÉDÉRIC, HAMMOND, KEVIN

Journal:

Parallel Processing Letters

Year:

2012

Language:

english

File:

PDF, 73 KB

english, 2012

26

[ACM Press the fifth international workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the fifth international workshop on High-level parallel programming and applications - HLPP '11 - Type system for a safe execution of parallel programs in BSML

Gava, Frédéric, Gesbert, Louis, Loulergue, Frédéric

Year:

2011

Language:

english

File:

PDF, 567 KB

english, 2011

27

Is There a Possibility of a Cure in Patients With Colorectal Peritoneal Carcinomatosis Amenable to Complete Cytoreductive Surgery and Intraperitoneal Chemotherapy?

Goéré, Diane, Malka, David, Tzanis, Dimitri, Gava, Vinicius, Boige, Valérie, Eveno, Clarisse, Maggiori, Léon, Dumont, Frédéric, Ducreux, Michel, Elias, Dominique

Journal:

Annals of Surgery

Year:

2013

Language:

english

File:

PDF, 246 KB

english, 2013

28

Interests groups in Parliament: Exploring MPs’ interest affiliations (2000-2011)

Gava, Roy, Varone, Frédéric, Mach, André, Eichenberger, Steven, Christe, Julien, Chao-Blanco, Corinne

Journal:

Swiss Political Science Review (Swiss Political Science Association)

Year:

2016

Language:

english

File:

PDF, 337 KB

english, 2016

29

Self-Selection and Misreporting in Legislative Surveys

Bundi, Pirmin, Varone, Frédéric, Gava, Roy, Widmer, Thomas

Journal:

Political Science Research and Methods

Year:

2016

Language:

english

File:

PDF, 360 KB

english, 2016

30

Who Europeanises parliamentary attention, on which issues and how? A policy agenda perspective

Gava, Roy, Sciarini, Pascal, Varone, Frédéric

Journal:

Journal of Legislative Studies

Year:

2017

Language:

english

File:

PDF, 2.37 MB

english, 2017

31

Policy evaluation in parliament: interest groups as catalysts

Varone, Frédéric, Bundi, Pirmin, Gava, Roy

Journal:

International Review of Administrative Sciences

Year:

2018

Language:

english

File:

PDF, 198 KB

english, 2018

32

Interest groups as multi-venue players

Varone, Frédéric, Gava, Roy, Jourdain, Charlotte, Eichenberger, Steven, Mach, André

Journal:

Interest Groups & Advocacy

Year:

2018

Language:

english

File:

PDF, 760 KB

english, 2018

33

Programming bsp and multi-bsp algorithms in ml

Allombert, Victor, Gava, Frédéric

Journal:

The Journal of Supercomputing

Year:

2019

File:

PDF, 1.68 MB

2019

34

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - An ML Implementation of the MULTI-BSP Model

Allombert, Victor, Gava, Frederic

Year:

2018

File:

PDF, 32 KB

2018

35

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - Algorithmic Completeness for BSP Languages

Marquer, Yoann, Gava, Frederic

Year:

2018

Language:

english

File:

PDF, 225 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски